@media all {
	IN\:BUTTON  {}
	IN\:PUSHBUTTON  {}
	IN\:TOGGLEBUTTON  {}
	IN\:CHECKBOXBUTTON  {}
	IN\:RADIOBUTTON  {}
}
.button {
	cursor: default;
	color: ButtonText;
	font: caption;
	padding: 2px;
	background-color: ButtonFace;
	border: outset 1px ButtonShadow;
	background-image: url(skin/images/gradientOutset.png);
}
.buttonHover {
	background-image: url(skin/images/gradientHover.png);
}
.buttonPressed {
	background-image: url(skin/images/gradientInset.png);
	background-position: bottom;
	border-style: inset;
}
.buttonDisabled {
	border-color: InactiveBorder;
}
.button > img {
	vertical-align: middle;
}
.checkboxButton, .radioButton { /* undo button/hover/pressed effects */
	background-image: none;
	border-style: none;
	background-color: ButtonHighlight;
}
.checkboxButton > a , .radioButton  > a {
	padding: 4px;
}